From: Jasper St. Pierre <jstpierre@mecheye.net>
Date: Thu, 30 Aug 2012 19:21:00 +0000 (-0300)
Subject: magnifier: Round the uiGroup to integer positions
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~6004
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=3fd0502cb90ce5c88bf29244959f2b44bdd99e2f;p=gnome-shell.git

magnifier: Round the uiGroup to integer positions

This removes the jaggies from text, and other sorts of things.

https://bugzilla.gnome.org/show_bug.cgi?id=683073
---

diff --git a/js/ui/magnifier.js b/js/ui/magnifier.js
index 4a144b26a..91263b71d 100644
--- a/js/ui/magnifier.js
+++ b/js/ui/magnifier.js
@@ -1325,7 +1325,7 @@ const ZoomRegion = new Lang.Class({
         this._mouseActor.set_scale(this._xMagFactor, this._yMagFactor);
 
         let [x, y] = this._screenToViewPort(0, 0);
-        this._uiGroupClone.set_position(x, y);
+        this._uiGroupClone.set_position(Math.round(x), Math.round(y));
 
         this._updateMousePosition();
     },